-
1 предикатный вывод
predicate inference мат.Русско-английский научно-технический словарь Масловского > предикатный вывод
-
2 предикатный вывод
Mathematics: predicate inference -
3 предположение
1) General subject: assumption, calculation, conjecture, contemplation, feasible theory, guess, hypothesis, idea, if, inference, intending, p'raps, perhaps, plan, presumption, presupposition, speculation, sumption, supposal, supposition, surmise, theory (to have a theory that... - полагать, что...), proposition2) Colloquial: spec3) Military: postulate4) Engineering: (статистическое) estimation5) Rare: suppose6) Mathematics: condition, constraint, hypotheses, limitation, predicate, premise, proposal, restraint, restriction, term7) Law: a priori statement, suggestion8) Psychology: apriorism, guessing, lemma, supposition (как действие и как результат), prediction9) Information technology: statement10) Oil: suspecting11) Automation: guesswork12) Robots: belief -
4 лежать в основе
•The basis for the antibacterial effects of dyes is their ability to...
•Behind the Mullard invention is the notion that...
•Central to the theory is...
•Movement of charged particles in a magnetic field also forms (or constitutes) the basis for mass spectrometry.
•These equations form the basis (or foundation) of the theory of...
•These theories form (or provide) the foundation for (or are at the basis of) colour television.
•It is this form that provides the basis (or is fundamental) for a wide variety of TV antennas.
•Let us consider the physical conditions that underlie the Sun's magnetism.
•Boolean algebra underlies the theory of relations.
•Microcomputers are at the heart of "transaction" telephones for checking customers' credit.
•The general rule that the forces between two particles result from an exchange of other particles is basic to much of our present understanding of elementary-particle interactions.
•This distinction between electricity and magnetism is at the heart (or root) of the theory of...
•The Periodic Table provides the framework for the whole study of inorganic chemistry.
•Thermochemistry is basic to the study of chemical bonding.
•An understanding of dye laser operation is a building block for understanding the principles of other tunable laser systems.
•These interrelations are the heart of hydrodynamics.
•The chapter describes the fundamental physics that gives rise to the behaviour of the single junction and the transistor as circuit elements.
•The nature of energy lies at the heart of the mystery of our existence.
•This reaction is the basis for the cyanamide process for...
* * *Лежать в основе -- to be at the heart of, to lie at the heart of; to be at the root of; to be at the basis of, to form the basis of, to form the basis for; to form the foundation for; to underlieInference is al the heart of both language understanding and language generation.An accurate determination of primary flowrate lies at the heart of any turbine acceptance test.It is this particular approach that forms the basis of the dynamic testing technique described in this paper.Suppose that a single predicate underlies part of the meaning of each of the following sentences. (... лежит в основе части значения...)Русско-английский научно-технический словарь переводчика > лежать в основе
См. также в других словарях:
Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… … Wikipedia
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
List of rules of inference — This is a list of rules of inference, logical laws that relate to mathematical formulae.IntroductionRules of inference are syntactical transformation rules which one can use to infer a conclusion from a premise to create an argument. A set of… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
The False Subtlety of the Four Syllogistic Figures — Proved ( Die falsche Spitzfindigkeit der vier syllogistischen Figuren erwiesen ) was an essay published by Immanuel Kant in 1762.ection I General conception of the Nature of Ratiocination A judgment is the comparison of a subject or thing with a… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia